COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%business letter outline to use with buslet.tex macros
C00006 ENDMK
C⊗;
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

\vskip 30pt
\address 
Dr. W. Witschel
Chairman of the Appointment Committee
University of Ulm
Oberer Eselsberg
D-7900 Ulm
Germany
\body

Dear Dr. Witschel:

	I'm sorry that I don't have time to do a proper job of comparing
Bibel and Fischer.  I know Bibel, and I don't know Fischer.  I have been
impressed with the variety of topics Bibel works on and with his
independence of mind.  I am impressed with his work on connection graphs,
because I think this is the way to go in theorem proving, and also with
his approach to formalizing common sense knowledge.

  I can't give a more precise evaluation of his
work, because I find much of it technically rather difficult,
especially the connection graph work,
compared to the level of my own connection with the topic.

\closing
Sincerely,    

John McCarthy    
\annotations
\vskip 1in
%cc: Claudia Mazzetti
JMC/ra 
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end